1. Logics in artificial intelligence :
پدیدآورنده : José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.,Computer science -- Congresses.
2. Logics in artificial intelligence: European Workshop JELIA'96, Evora, Portugal, September 30-October 3, 1996 : proceedings
پدیدآورنده : Jose Julio Alferes, Luis Moniz Pereira, Ewa Orlowska )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic
رده :
QA
76
.
L28
Vol
.
1126
3. Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
پدیدآورنده : Jose Julio Alferes, Joao Leite )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3229
4. Practical aspects of declarative languages :
پدیدآورنده : José Júlio Alferes, Moa Johansson (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming languages, Congresses.,Declarative programming, Congresses.,Declarative programming languages.,Declarative programming.
رده :
QA76
.
76
.
C65
5. Reasoning with logic programming
پدیدآورنده : Alferes, Jose Julio
کتابخانه: (طهران)
موضوع : ، Logic programming,، Reasoning
رده :
QA
76
.
L28
Vol
.
1111
6. Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
پدیدآورنده : Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Rule-based programming -- Congresses,، Semantic Web -- Congresses
رده :
QA
76
.
76
.
R95
2016
